let m1 = switch 1n {
| 0001n => 1
| 1n => 1
| -0001n => -1
| _ => 0
}
